Section: New Software and Platforms

SizeChangeTool

Keywords: Rewriting systems - Proof assistant - Termination

Functional Description: A termination-checker for higher-order rewriting with dependent types. Took part in the Termination Competition 2018 ( http://termination-portal.org/wiki/Termination_Competition_2018 ) in the "Higher-Order Rewriting (union Beta)" category.

• Partner: Mines ParisTech

• Contact: Guillaume Genestier

• URL: https://github.com/Deducteam/SizeChangeTool